Works by J. I. Zucker

( view other items matching `J. I. Zucker`, view all matches )
7 found
Order:
  1.  69
    The adequacy problem for inferential logic.J. I. Zucker & R. S. Tragesser - 1978 - Journal of Philosophical Logic 7 (1):501 - 516.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  2.  62
    The adequacy problem for classical logic.J. I. Zucker - 1978 - Journal of Philosophical Logic 7 (1):517 - 535.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  20
    The Adequacy Problem for Classical Logic.J. I. Zucker, R. S. Tragesser, Dag Prawitz, Jaakko Hintikka & Ilkka Niiniluoto - 1982 - Journal of Symbolic Logic 47 (3):689-694.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  4
    Tableau Systems for First Order Number Theory and Certain Higher Order Theories.J. I. Zucker - 1980 - Journal of Symbolic Logic 45 (3):636-638.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  25
    Equational Theories and Equivalences of Programs.B. Courcelle, B. Domolki, T. Gergely, J. W. de Bakker, J. I. Zucker & E. Engeler - 1984 - Journal of Symbolic Logic 49 (3):990-991.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  22
    Review: Sue Toledo, Tableau Systems for First Order Number Theory and Certain Higher Order Theories. [REVIEW]J. I. Zucker - 1980 - Journal of Symbolic Logic 45 (3):636-638.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  31
    Toledo Sue. Tableau systems for first order number theory and certain higher order theories. Lecture notes in mathematics, vol. 447. Springer-Verlag, Berlin, Heidelberg, and New York, 1975, iii + 339 pp. [REVIEW]J. I. Zucker - 1980 - Journal of Symbolic Logic 45 (3):636-638.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark